Runtime Specification v1.0